21![A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London A Herding cats: Modelling, Simulation, Testing, and Data-mining for Weak Memory Jade Alglave, University College London Luc Maranget, INRIA Michael Tautschnig, Queen Mary University of London](https://www.pdfsearch.io/img/5c29b2c2be278b6ee8d034cf787a0f1b.jpg) | Add to Reading ListSource URL: www0.cs.ucl.ac.ukLanguage: English |
---|
22![KAREInternational Workshop on Knowledge Acquisition Reuse & Evaluation Collocated with: SITISThe 12h International Conference on Signal Image Technology & Internet based Systems November 27 - December 1, 2 KAREInternational Workshop on Knowledge Acquisition Reuse & Evaluation Collocated with: SITISThe 12h International Conference on Signal Image Technology & Internet based Systems November 27 - December 1, 2](https://www.pdfsearch.io/img/b76f1a165dcfaf019f47966875b1073a.jpg) | Add to Reading ListSource URL: www.sitis-conf.orgLanguage: English - Date: 2016-06-07 03:58:47
|
---|
23![Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac. Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.](https://www.pdfsearch.io/img/32f904f48ee2bf9e985be2df8d508463.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2015-02-05 09:51:08
|
---|
24![VISUALIZING MUSIC IN ITS ENTIRETY USING ACOUSTIC FEATURES: MUSIC FLOWGRAM Dasaem Jeong and Juhan Nam Graduate School of Culture Technology, KAIST {jdasam, juhannam}@kaist.ac.kr VISUALIZING MUSIC IN ITS ENTIRETY USING ACOUSTIC FEATURES: MUSIC FLOWGRAM Dasaem Jeong and Juhan Nam Graduate School of Culture Technology, KAIST {jdasam, juhannam}@kaist.ac.kr](https://www.pdfsearch.io/img/82c9d46345c8aaad5df5dd5d2ed1be57.jpg) | Add to Reading ListSource URL: tenor2016.tenor-conference.orgLanguage: English - Date: 2016-05-18 10:52:43
|
---|
25![SCHOOL OF INFORMATICS AND COMPUTING INFORMATION SCIENCE(MIS and MIS/MLS–2015 SCHOOL OF INFORMATICS AND COMPUTING INFORMATION SCIENCE(MIS and MIS/MLS–2015](https://www.pdfsearch.io/img/e7f8a7f0b5f179811627547f6bc41c10.jpg) | Add to Reading ListSource URL: www.soic.indiana.eduLanguage: English - Date: 2016-02-19 14:14:38
|
---|
26![Generating Natural Language Aggregations Using a Propositional Representation of Sets Susan Haller1 , Barbara Di Eugenio2 , and Michael Trolio2 1 Computer Science Department University of Wisconsin–Parkside Generating Natural Language Aggregations Using a Propositional Representation of Sets Susan Haller1 , Barbara Di Eugenio2 , and Michael Trolio2 1 Computer Science Department University of Wisconsin–Parkside](https://www.pdfsearch.io/img/2491f0eddfc4a434d0f291282808f336.jpg) | Add to Reading ListSource URL: nlp.cs.uic.eduLanguage: English - Date: 2013-03-02 15:00:28
|
---|
27![Tutorial-schedule-final.xlsx Tutorial-schedule-final.xlsx](https://www.pdfsearch.io/img/c4a4ff021c91658bcf669442d6d00274.jpg) | Add to Reading ListSource URL: www.conference123.orgLanguage: English - Date: 2014-07-16 23:18:32
|
---|
28![EurospeechScandinavia ANVIL A Generic Annotation Tool for Multimodal Dialogue Michael Kipp Graduate College for Cognitive Sciences EurospeechScandinavia ANVIL A Generic Annotation Tool for Multimodal Dialogue Michael Kipp Graduate College for Cognitive Sciences](https://www.pdfsearch.io/img/cef2e9ad9c2ace80bb6b394e290315e6.jpg) | Add to Reading ListSource URL: michaelkipp.deLanguage: English - Date: 2015-09-17 09:04:11
|
---|
29![SCHOOL OF INFORMATICS AND COMPUTING 2016–17 SCHOOL OF INFORMATICS AND COMPUTING 2016–17](https://www.pdfsearch.io/img/1665391898fa896d12a08ae57adf04b9.jpg) | Add to Reading ListSource URL: www.soic.indiana.eduLanguage: English - Date: 2016-06-02 12:47:36
|
---|
30![Semi-Automatic Mapping of WordNet to Basic Formal Ontology Selja Sepp¨al¨a,1 Amanda Hicks,2 Alan Ruttenberg1 1 University at Buffalo Buffalo, NY, USA Semi-Automatic Mapping of WordNet to Basic Formal Ontology Selja Sepp¨al¨a,1 Amanda Hicks,2 Alan Ruttenberg1 1 University at Buffalo Buffalo, NY, USA](https://www.pdfsearch.io/img/9cf3a5a20db3f31055f2453187e6428e.jpg) | Add to Reading ListSource URL: seljaseppala.files.wordpress.comLanguage: English - Date: 2016-07-13 06:12:36
|
---|